Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
481	TLC2, ch-end.tex,v: 1.39, p.963 Bibliography [1] Adobe Systems Incorporated. Adobe Type 1 Font Format. Addison-Wesley, Reading, MA, USA, 1990. ISBNThe “black book” contains the speciﬁcat Add to Reading List Source URL: www.latex-project.org Language: English - Date: 2016-08-08 13:00:03 TeX Typesetting Donald Knuth Macro programming languages Digital typography LaTeX Metafont MetaPost PSTricks Computer Modern TUGboat Device independent file format
482	Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2016-04-27 03:06:22 Symposium on Principles of Programming Languages Programming Language Design and Implementation ACM SIGACT ACM Transactions on Programming Languages and Systems Symposium on Logic in Computer Science SIGPLAN
483	BOOKS ABOUT HAAS LATHE APL PROGRAMMING Cityhalllosangeles.com HAAS LATHE APL PROGRAMM... Add to Reading List Source URL: h.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:39:33 APL programming language family Computer-aided engineering IBM software Array programming languages Lathes APL Metal lathe G-code Numerical control Go
484	Bible and Computer. The Stellenbosch AIBI-6 Conference. Proceedings of the Association Internationale Bible et Informatique "From Alpha to Byte". University of StellenboschJuly, 2000. Johann Cook (ed.). Brill, Lei Add to Reading List Source URL: homes.chass.utoronto.ca Language: English - Date: 2004-04-23 15:05:28 Septuagint Hebrew language Christian biblical canon Bible translations Biblical languages Bible Letter of Aristeas Theodotion Emanuel Tov
485	Computer Engineering Department of Electrical and Computer Engineering Computer engineering is designed to prepare an engineer to work in both the abstract software world, where high level languages and more complexity w Add to Reading List Source URL: enrollment.mst.edu Language: English - Date: 2014-09-04 16:23:21 Engineering education Engineering physics Department of Computer Science University of Illinois at Urbana-Champaign George Washington University School of Engineering and Applied Science
486	A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Source code Programming language implementation Functional languages Logic in computer science Programming language semantics Scheme Semantics Partial evaluation Programming language Macro Interpreter Action semantics
487	BU CAS CS 320 (Summer I, Concepts of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter inductiv Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2016-05-19 17:18:34 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
488	56 Building a Simulation of the Spread of a Virus Using the AgentSheets simulation-authoring tool Alexander Repenning, Andri Ioannidou, and Jonathan Phillips Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 1999-12-08 13:29:07 Simulation software Simulation Visual programming languages AgentSheets Cross-platform software Alexander Repenning Computer virus Instructional simulation Virus Kodu Game Lab
489	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:03 Logic programming Filter theory Logic in computer science Knowledge representation Formal languages Situation calculus Fluent Well-formed formula FO Filter Frame problem Linear temporal logic
490	Microsoft Word - 3MFproductionSpec.docx Add to Reading List Source URL: www.3mf.io Language: English - Date: 2016-07-27 11:58:46 Computer file formats 3D Manufacturing Format 3D printing Open formats Markup languages Computer file Cascading Style Sheets HTML element Open Packaging Conventions

UPDATE